101. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
102. Structural Complexity II
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
103. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده : edited by Linda C. van der Gaag.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
104. System Analysis and Modeling: About Models
پدیدآورنده : edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
105. TAPSOFT '95:
پدیدآورنده : edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
106. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
107. Temporal Logic of Programs
پدیدآورنده : by Fred Kröger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
108. Testfreundliche Synthese hochintegrierter Schaltungen
پدیدآورنده : von Bernhard Eschermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Microprogramming.
رده :
TK7874
.
65
V663
1992
109. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
110. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004
111. Theorem Proving in Higher Order Logics :
پدیدآورنده : edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
112. Theory and Practice of Model Transformations :
پدیدآورنده : edited by Keith Duddy, Gerti Kappel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2013
113. Theory and Practice of Model Transformations
پدیدآورنده : edited by Zhenjiang Hu, Juan Lara
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
114. Tools for Practical Software Verification :
پدیدآورنده : edited by Bertrand Meyer, Martin Nordio.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2012
115. Towards Evolvable Hardware :
پدیدآورنده : edited by Eduardo Sanchez, Marco Tomassini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
116. Trends in Functional Programming :
پدیدآورنده : edited by Jay McCarthy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
62
E358
2014
117. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
118. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
119. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
120. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
